integral (arctan x)^2 from 1/sqrt{3} to 1